A complete logic for fuzzy functional dependencies over t-norms
نویسندگان
چکیده
A fuzzification of the concept of functional dependency based on t-norms is presented. T-norms are equally used in the definition of the similarity relations in the domains and in the fuzziness degree assigned to functional dependencies. A sound and complete logic for this fuzzy functional dependencies is also introduced and, finally, its applicability to redundancy removing is shown.
منابع مشابه
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies
A sound and complete Automated Prover for the Fuzzy Simplification Logic (FSL logic) is introduced and based on it a method for efficiently reasoning about fuzzy functional dependencies over domains with similarity relations. The complexity of the algorithm is the same as that of equivalent algorithms for crisp functional dependencies that appear in the literature.
متن کاملFuzzy attribute logic over complete residuated lattices
We present a logic, called fuzzy attribute logic, for reasoning about formulas describing particular attribute dependencies. The formulas are of a form A ⇒ B where A and B are collections of attributes. Our formulas can be interpreted in two ways. First, in data tables with entries containing degrees to which objects (table rows) have attributes (table columns). Second, in database tables where...
متن کاملFunctional Dependencies of Data Tables Over Domains with Similarity Relations
We study attribute dependencies in a setting of fuzzy logic. Our dependencies are described by formulas A ⇒ B where A and B are fuzzy sets of attributes. The meaning of A ⇒ B is that any two objects that have similar values on attributes from A have also similar values on attributes from B. Our approach generalizes classical functional dependencies from databases and also several approaches to ...
متن کاملFuzzy Ontologies over Lattices with T-norms
In some knowledge domains, a correct handling of vagueness and imprecision is fundamental for adequate knowledge representation and reasoning. For example, when trying to diagnose a disease, medical experts need to confront symptoms described by the patient, which are by definition subjective, and hence vague. Moreover, a single malady may present a diversity of clinical manifestations in diffe...
متن کاملGeneralized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into account recent results in the scope of algebraic semantics for fuzzy logics over chains with a monoidal residuated operation, we advocate linearly ordered BL-algebras and MTL-algebras as adequate generalizations of continu...
متن کامل